#ifndef HW3_HELPERS
#define HW3_HELPERS

#include <pthread.h>

void ec_mutex_init(pthread_mutex_t *mutex);

#endif
